توصیف و وارسی صوری رفتار مولفه های سیستم های بلادرنگ
پایان نامه
- وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز - دانشکده علوم ریاضی
- نویسنده عادله آبادی عباس آباد
- استاد راهنما آیاز عیسی زاده جابر کریم پور
- سال انتشار 1391
چکیده
درمهندسی نرم افزار توصیف و وارسی سیستم های نرم افزاری با استفاده از روش های صوری اهمیت ویژه ای دارد. برای سیستم های دقیق و بلادرنگ یک ضرورت اجتناب ناپذیر است و توصیف و وارسی سیستم های بلادرنگ مبتنی بر مولفه ها از مسایل مهم در مهندسی نرم افزار است با توسعه ای که در مهندسی نرم افزار در توسعه خودکارهای ورودی خروجی داده شده است می توانیم راه حلی برای توصیف و وارسی سیستم های ناهمگن مبتنی بر مولفه ها ارایه دهیم. که در این پایان نامه یک روش صوری مبتنی بر خودکارهای زمان بندی شده ارایه کرده ایم
منابع مشابه
یک روش توسعه یافته صوری برای توصیف رابط مولفه ها در طراحی سیستم های مبتنی بر مولفه
امروزه استفاده از سیستم های بزرگ کامپیوتری جزء ملزومات جداناپذیر در زندگی بشریت است. با بزرگ شدن سیستم ها، پیچیدگی نیز به صورت نمایی بزرگ می شود. برای غلبه بر پیچیدگی سیستم ها، بحث مهندسی نرم افزار مبتنی بر مولفه ها مطرح شده که تا به امروز موفقیت هایی نیز در این راستا کسب کرده است. جهت توصیف مولفه ها و تعامل آنها زبان های مختلفی با استفاده از روش های ریاضی و نظریه خودکارها ارائه شده اند که آنها...
15 صفحه اولکاوشی در مولفه های رفتار و عملکرد (مطالعه موردی)
هدف این پژوهش مطالعه اثربخشی مولفههای نظری بر رفتار و عملکرد رفتار و عملکرد مدیریتیِ مدیران در سازمانهای آموزشی میباشد. تحقیق حاضر بین رشتهای و از نوع بنیادی- کاربردی است. یافتههای توصیفی با مراجعه به مراکز علمی و کتابخانهها، و دادههای آماری، به شیوه میدانی و توزیع پرسشنامه محقق ساخته بین مدیران و اعضای هیأت علمی مراکز دانشگاه پیام نور استان مرکزی جمعآوری شده است. تجزیه و تحلیل دادهها د...
متن کاملیک روش صوری برای توصیف و درستی یابی ترکیبی سیستم های نرم افزاری مبتنی بر مولفه ها
چکیده ندارد.
15 صفحه اولاثربخشی مولفه های نظری بر رفتار و عملکرد (مطالعه موردی)
هدف این پژوهش مطالعه نقش ذهنیت فلسفی در رفتار و عملکرد مدیریتیِ مدیران در سازمان های آموزشی می باشد. تحقیق حاضر از نوع بنیادی- کاربردی است. یافته های توصیفی با مراجعه به مراکز علمی و کتابخانه ها، و داده های آماری، به شیوه میدانی و توزیع پرسشنامه محقق ساخته بین مدیران و اعضای هیأت علمی مراکز دانشگاه پیام نور استان تهران جمع آوری شده است. تجزیه و تحلیل داده ها در دو سطح آمار توصیفی و استنبا...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
نوع سند: پایان نامه
وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز - دانشکده علوم ریاضی
کلمات کلیدی
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023